char *build_number(void);